63/2	⎇}<⎇[@]␈316419≤bound variable≥{ 
64/2	⎇}<⎇[@]␈316420≤body≥{ 
68/2	⎇}<⎇[@]␈316421≤β-reduction≥{ 
73/2	⎇}<⎇[@]␈316423≤α-conversion≥{ 
87/2	⎇}<⎇[@]␈316424≤Sch⊗onfinkeling≥{ 
22/3	⎇}<⎇[@]␈316427≤combination≥{ 
23/3	⎇}<⎇[@]␈316428≤rator≥{ 
23/3	⎇}<⎇[@]␈316429≤rand≥{ 
28/3	⎇}<⎇[@]␈316430≤abstraction≥{ 
29/3	⎇}<⎇[@]␈316431≤bv≥{ 
29/3	⎇}<⎇[@]␈316432≤body≥{ 
53/3	⎇}<⎇[@]␈316433≤bound≥{ 
55/3	⎇}<⎇[@]␈316434≤free≥{ 
55/3	⎇}<⎇[@]␈316435≤%dFV(M)%1≥{ 
55/3	⎇}<⎇[@]␈316436≤%dBV(M)%1≥{ 
66/3	⎇}<⎇[@]␈316437≤%d[N/x]M%1≥{ 
66/3	⎇}<⎇[@]␈316438≤substitution≥{ 
15/4	⎇}<⎇[@]␈316440≤conversion rules≥{ 
20/4	⎇}<⎇[@]␈316441≤%glbh%1-calculus≥{ 
34/4	⎇}<⎇[@]␈316442≤context≥{ 
34/4	⎇}<⎇[@]␈316443≤%dC%1[ ]≥{ 
52/4	⎇}<⎇[@]␈316445≤redex≥{ 
53/4	⎇}<⎇[@]␈316446≤contractum≥{ 
55/4	⎇}<⎇[@]␈316447≤contraction≥{ 
56/4	⎇}<⎇[@]␈316448≤abstraction≥{ 
57/4	⎇}<⎇[@]␈316449≤reduction≥{ 
65/4	⎇}<⎇[@]␈316450≤%dX#%3red%d#X'%1≥{ 
2/5	⎇}<⎇[@]␈316451≤convertible≥{ 
2/5	⎇}<⎇[@]␈316452≤%dM#%3cnv#%dN%1≥{ 
26/5	⎇}<⎇[@]␈316453≤closed terms≥{ 
27/5	⎇}<⎇[@]␈316455≤combinators≥{ 
40/5	⎇}<⎇[@]␈316456≤%dI%1-solvable≥{ 
55/5	⎇}<⎇[@]␈316457≤[%dN%40%1, ..., %dN%4n%1/%dx%40%1, ..., %dx%4n%1]≥{ 
56/5	⎇}<⎇[@]␈316458≤multiple substitution≥{ 
70/5	⎇}<⎇[@]␈316459≤head context≥{ 
3/2	⎇}<⎇[@]␈316460≤normal form≥{ 
14/2	⎇}<⎇[@]␈316462≤%dY%4λ≥{ 
36/2	⎇}<⎇[@]␈316463≤Church-Rosser Theorem≥{ 
102/2	⎇}<⎇[@]␈316465≤normal order reduction≥{ 
106/2	⎇}<⎇[@]␈316466≤Standardization theorem≥{ 
132/2	⎇}<⎇[@]␈316470≤%dI≥{ 
133/2	⎇}<⎇[@]␈316471≤%dK≥{ 
134/2	⎇}<⎇[@]␈316472≤%dB≥{ 
144/2	⎇}<⎇[@]␈316473≤functional composition≥{ 
150/2	⎇}<⎇[@]␈316474≤%dF%8n%1≥{ 
72/3	⎇}<⎇[@]␈316479≤solvable≥{ 
74/3	⎇}<⎇[@]␈316480≤unsolvable≥{ 
10/2	⎇}<⎇[@]␈316483≤solvable≥{ 
9/3	⎇}<⎇[@]␈316484≤not in head normal form≥{ 
21/3	⎇}<⎇[@]␈316486≤head normal form≥{ 
21/3	⎇}<⎇[@]␈316487≤h.n.f.≥{ 
30/3	⎇}<⎇[@]␈316488≤head variable≥{ 
31/3	⎇}<⎇[@]␈316489≤%3i%8th%3 main argument≥{ 
32/3	⎇}<⎇[@]␈316490≤similar≥{ 
37/3	⎇}<⎇[@]␈316491≤head reduction≥{ 
22/4	⎇}<⎇[@]␈316495≤enumeration model≥{ 
31/4	⎇}<⎇[@]␈316496≤domain≥{ 
31/4	⎇}<⎇[@]␈316497≤approximation≥{ 
34/4	⎇}<⎇[@]␈316498≤%2x %f≤ %2y≥{ 
42/4	⎇}<⎇[@]␈316499≤%fl%2X≥{ 
42/4	⎇}<⎇[@]␈316500≤join≥{ 
48/4	⎇}<⎇[@]␈316501≤complete lattice≥{ 
57/4	⎇}<⎇[@]␈316502≤meet≥{ 
63/4	⎇}<{PAGE}≤%fu≥{ 
65/4	⎇}<{PAGE}≤Bottom≥{ 
70/4	⎇}<{PAGE}≤Top≥{ 
82/4	⎇}<⎇[@]␈316504≤continuous≥{ 
87/4	⎇}<⎇[@]␈316505≤least fixpoint operator≥{ 
87/4	⎇}<⎇[@]␈316506≤%2Y≥{ 
100/4	⎇}<⎇[@]␈316507≤limit≥{ 
102/4	⎇}<⎇[@]␈316508≤directed set≥{ 
108/4	⎇}<⎇[@]␈316509≤chain≥{ 
121/4	⎇}<⎇[@]␈316510≤limit point≥{ 
139/4	⎇}<⎇[@]␈316512≤sub-basis≥{ 
148/4	⎇}<⎇[@]␈316513≤basis≥{ 
12/5	⎇}<⎇[@]␈316515≤%dD%4∞%1≥{ 
30/5	⎇}<⎇[@]␈316517≤%3Id%1≥{ 
31/5	⎇}<⎇[@]␈316518≤%3Exp%1≥{ 
32/5	⎇}<⎇[@]␈316519≤%3Env%1≥{ 
35/5	⎇}<⎇[@]␈316520≤environment≥{ 
35/5	⎇}<⎇[@]␈316521≤%gr%1≥{ 
42/5	⎇}<⎇[@]␈316522≤%6V%1≥{ 
23/2	⎇}<⎇[@]␈316523≤extended environment≥{ 
49/2	⎇}<⎇[@]␈316526≤semantically equivalent≥{ 
49/2	⎇}<⎇[@]␈316527≤equal in %dD%4∞%1≥{ 
56/2	⎇}<⎇[@]␈316528≤%d=%4D∞%1≥{